$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$. ($i$ $>$ $j$) $\in$ $\mathbb{P}_{1}$